Na teoria da complexidade computacional, um gadget é um subconjunto de uma instância de um problema que simula o comportamento de uma das unidades fundamentais de um problema computacional diferente. Gadgets são normalmente utilizados para a construção de reduções de um problema computacional para outro, como parte da prova de NP-completude ou outros tipos de problemas mais dificeis. A técnica de design de componente é um método para a construção de reduções usando gadgets.

Szabó (2009)  faz uma busca no histórico do uso de gadgets em um  artigo  de 1954 na teoria dos grafos por WT Tutte, em que Tutte utiliza gadgets para reduzir o problema de encontrar um subgrafo com determinadas restrições de grau  para um problema de emparelhamento perfeito. No entanto, a terminologia "gadget" tem uma origem mais tarde, e não aparece no artigo de Tutte.